Ex ante efficiency implies incentive compatibility

We show that when agents become informationally negligible in a large economy with asymmetric information, every ex ante efficient allocation must be incentive compatible. This means that any ex ante core or Walrasian allocation is incentive compatible. The corresponding result is false for fixedfinite-agent economies with asymmetric information. An example is also constructed to show that the ex post version of the result does not hold. Furthermore, we show that the result is sharp in the sense that it will fail to hold if one relaxes any of the main assumptions, namely, strong conditional independence on the information structure, strict concavity on the utility functions, type independence on the utility functions and endowments.